YES 1.169
↳ HASKELL
↳ LR
((elemIndices :: () -> [()] -> [Int]) :: () -> [()] -> [Int]) |
import qualified Maybe import qualified Prelude |
|||||||||||||||||
elemIndices :: Eq a => a -> [a] -> [Int]
|
|||||||||||||||||
findIndices :: (a -> Bool) -> [a] -> [Int]
|
import qualified List import qualified Prelude |
\vv1→
case vv1 of (x,i) → if p x then i : [] else [] _ → []
findIndices0 p vv1 =
case vv1 of (x,i) → if p x then i : [] else [] _ → []
\ab→(a,b)
zip0 a b = (a,b)
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
((elemIndices :: () -> [()] -> [Int]) :: () -> [()] -> [Int]) |
import qualified Maybe import qualified Prelude |
|||||||||||||||||
elemIndices :: Eq a => a -> [a] -> [Int]
|
|||||||||||||||||
findIndices :: (a -> Bool) -> [a] -> [Int]
|
|||||||||||||||||
|
import qualified List import qualified Prelude |
case vv1 of (x,i) → if p x then i : [] else [] _ → []
findIndices00 p (x,i) = if p x then i : [] else [] findIndices00 p _ = []
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
((elemIndices :: () -> [()] -> [Int]) :: () -> [()] -> [Int]) |
import qualified Maybe import qualified Prelude |
|||||||||
elemIndices :: Eq a => a -> [a] -> [Int]
|
|||||||||
findIndices :: (a -> Bool) -> [a] -> [Int]
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
if p x then i : [] else []
findIndices000 i True = i : [] findIndices000 i False = []
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
((elemIndices :: () -> [()] -> [Int]) :: () -> [()] -> [Int]) |
import qualified Maybe import qualified Prelude |
|||||||||
elemIndices :: Eq a => a -> [a] -> [Int]
|
|||||||||
findIndices :: (a -> Bool) -> [a] -> [Int]
|
|||||||||
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((elemIndices :: () -> [()] -> [Int]) :: () -> [()] -> [Int]) |
import qualified Maybe import qualified Prelude |
|||||||||
elemIndices :: Eq a => a -> [a] -> [Int]
|
|||||||||
findIndices :: (a -> Bool) -> [a] -> [Int]
|
|||||||||
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
((elemIndices :: () -> [()] -> [Int]) :: () -> [()] -> [Int]) |
import qualified Maybe import qualified Prelude |
|||||||||
elemIndices :: Eq a => a -> [a] -> [Int]
|
|||||||||
findIndices :: (a -> Bool) -> [a] -> [Int]
|
|||||||||
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
(elemIndices :: () -> [()] -> [Int]) |
import qualified Maybe import qualified Prelude |
|||||||||
elemIndices :: Eq a => a -> [a] -> [Int]
|
|||||||||
findIndices :: (a -> Bool) -> [a] -> [Int]
|
|||||||||
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
↳ QDP
↳ QDPSizeChangeProof
new_foldr(:(ww4110, ww4111), ww5) → new_foldr(ww4111, new_primPlusNat(ww5))
new_primPlusNat(Zero) → Succ(Zero)
new_primPlusNat0(Succ(ww500)) → Succ(ww500)
new_primPlusNat(Succ(ww50)) → Succ(Succ(new_primPlusNat0(ww50)))
new_primPlusNat0(Zero) → Zero
new_primPlusNat(Succ(x0))
new_primPlusNat(Zero)
new_primPlusNat0(Zero)
new_primPlusNat0(Succ(x0))
From the DPs we obtained the following set of size-change graphs: